CTFSED-A - PPGEEL

Falhas em Sistemas a Eventos Discretos (SEDs); Classificação, tipos e exemplos de falhas; Diagnose de falhas; Diagnosticabilidade; Diagnosticador; Verificador; Mapeamento de sensores; Prognose de falhas; Prognosticabilidade; Diagnose segura; Controlabilidade segura; Diagnose online e implementação de diagnosticadores; Controle Tolerante a Falhas (CTF) de SEDs; Implementação da estrutura de CTF; Ferramentas de apoio à análise de falhas e síntese de CTF de SEDs; Introdução à diagnose e prognose estocásticas; Introdução à diagnose e prognose descentralizadas e ao CTF descentralizado.